Computational limitations of affine automata and generalized affine automata

نویسندگان

چکیده

Abstract We present new results on the computational limitations of affine automata (AfAs). First, we show that using endmarker does not increase power AfAs. Second, computation bounded-error rational-valued AfAs can be simulated in logarithmic space. Third, identify some logspace unary languages are recognized by algebraic-valued Fourth, arbitrary real-valued transition matrices and state vectors unbounded-error model. When focusing only rational values, obtain same result also for bounded error. As a consequence, class remains when restricted to use numbers only.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Computational Power of Affine Automata

Abstract. We investigate the computational power of affine automata (AfAs) introduced in [4]. In particular, we present a simpler proof for how to change the cutpoint for any affine language and a method how to reduce error in bounded error case. Moreover, we address to the question of [4] by showing that any affine language can be recognized by an AfA with certain limitation on the entries of ...

متن کامل

Affine counter automata

We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact realtime affine counter automata but by neither 1-way deterministic pushdown automata nor realtime deterministic k-counter automata. We also show that a certain promise problem, ...

متن کامل

Commutators of Bipermutive and Affine Cellular Automata

We discuss bipermutive cellular automata from a combinatorial and topological perspective. We prove a type of topological randomizing property for bipermutive CA, show that the commutator of a bipermutive CA is always small and that bipermutive affine CA have only affine CA in their commutator. We show the last result also in the multidimensional case, proving a conjecture of [Moore-Boykett, 97].

متن کامل

Limit Measures for Affine Cellular Automata II

If M is a monoid, and A is an abelian group, then A is a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F : A −→ A that commutes with all shift maps. If F is diffusive, and μ is a harmonically mixing (HM) probability measure on A, then the sequence {Fμ}N=1 weak*-converges to the Haar measure on A, in density. Fully supported Markov measures on A are HM, an...

متن کامل

Limit Measures for Affine Cellular Automata

Let M be a monoid (e.g. N, Z, or Z), and A an abelian group. A is then a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F : A −→ A that commutes with all shift maps. Let μ be a (possibly nonstationary) probability measure on A; we develop sufficient conditions on μ and F so that the sequence {Fμ}N=1 weak*-converges to the Haar measure on A, in density (and...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Natural Computing

سال: 2021

ISSN: ['1572-9796', '1567-7818']

DOI: https://doi.org/10.1007/s11047-020-09815-1